|
|
|
| e-Pub |
Previous | 
Home
Section: Dissemination
Popularization
Laurent Théry presented his researcher work to three different classrooms during the event "semaine des maths", in March.
Research Program
Application Domains
New Software and Platforms
New Results
- Highlights of the Year
- Proof and computation
- Formal verification of automated proof algorithms
- Formal study of cryptography
- Formalization of Bourbaki's sets and ordinals
- Stern-Brocot and Fibonacci sequences
- Formal proof that
e π - Fast computation of
π - Decision procedures for polynomials
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography